\frame
{
  \frametitle{Interprocedural}
  Summarize method behavior, and use that summary at each call site.
  Examples:
  \B
  \item Method parameters that are unconditionally dereferenced.
  \item Return values that are always nonnull.
  \item Methods that always throw an exception.
  \E
  We don't (currently) do any context sensitive interprocedural analysis.
}
\frame
{
  \frametitle{Interprocedural issues}
  \B
  \item Resolving virtual and interface method invocations.
  \item Order in which to evaluate methods
  \B
  \item If you can seperate computation and use into separate analysis passes, do so.
  \item Right now, FindBugs sorts classes, and within each class, sorts methods, 
	according to call graph.
  \item Works fairly well.
  \E
  \E
}
